Knowledge-Based Systems for Power System Control Centres: Validation and Verification

! " # $% $%$'&)( (* +-, ./ *&102, 3 * 04(*&1 ( ( *$ 5764 8 9 :# # * " " * ; ( $4&)$'&) < 9 < < ; =$' &) $> 8 ; * &) ? $@&1(*( ? A ?+B $' $@&1(*( ? $ 5DC4&) .E ; * $' F $':" G&) ; $H, ./ I $' ./ F (*( ; $H I ; * J " * G " $ 5K L * $' 3 (*( ; $M N02 % +B +I O( 9 +B *( $ 8 4 $@$' $@ ; P $'(* P+B&) .? +B Q$' ;&) $ 5 L P$'&) $'$@ A&) )&1$@ K$'&) 2 ( ( $ $ R+B ( +B * A 0S R ,* R <./&) R T $U( A * 02 R $U T + A :Q 3&) +B +B V +B * $ 5W $ 8 J, 8./&) +R K GX A ; J +RX +B * J( $@ 15 $ ( ( ? +B+B $'$' $ MXP * Y +EXP +B ; Z \[ +B./ ]_^ $' +Y`1 $' 02$ 5a L M(* ( b+B $ c dX A ; c +eX +B * c F`1f7gPhT`1iG:T j[ 8 +B./ ]_^L $@ +e`1 $' 0k c $'$' $' U ( ; * $2 fl &)./&) $' H L $@04 $'$' E " * ; m " * ; $n E +B * 8 $' $ *+E( * 8 F $' ; D5ago$'( M * p XPiGh#qr Lg ` sL $L,* 4+B 9 *( +R J 8`1f7g h#`1ic[ 8 +B./ ^L $' )5 XPiGh#qr LgP`t $N c./ :F+B 02 *+B ( +B M[ ^L`u v :b M( A * 02$%[ +B./ ^L $' $@ ; &) &) w * $' $G x +B T j+B y 8 +B./ b 02 $ 5/qr y $8, j$'&) $'$' &) F (*( +M * y b `1f7gPhT`1ic, &) V $' J J D[ ^L`Q5 [ 8 * +B$ z9{L|w}Q~_€|*D{ ‚9}Q~A ‚ ƒ1„†…P}Q|*‡Fˆ‚9‰QŠV‚9‹ ŒR ƒ ‚9‰%Ž† ƒ ~_‚  ƒ)„†‘\‚a  ~_’;<‚a„†“  ”’•‰  ~_’;|*} „†“ ‚9€’•–—’;˜a ~_’;|*}